More from this Author

Proof Theory and Logic Programming

by Dale Miller

A Water Source Guide for Dowsers

by Dale Miller

Programming with Higher-Order Logic

by Dale Miller, Gopalan Nadathur

Morality, Rules, and Consequences

by Brad Hooker (Contribution by), Elinor Mason, Dale Miller, D. Haslett (Contribution by), Shelly Kagan (Contribution by), Sanford Levy (Contribution by), David Lyons (Contribution by), Phillip Montague (Contribution by), Tim Mulgan (Contribution by), Philip Pettit (Contribution by), Madison Powers (Contribution by), Jonathan Riley (Contribution by), William Shaw (Contribution by), Michael Smith (Contribution by), Alan Thomas (Contribution by)

Retail Marketing

by Dale Miller

Programming with Higher-Order Logic

by Dale Miller, Gopalan Nadathur